<?php

class RegistrationPeer extends BaseRegistrationPeer
{
}
